Stable{P} == (P)  P 

latex

Definitions	P  Q, A
FDL editor aliases	stable